A General Equivalence Theorem in the Theory of Discretization Methods
نویسنده
چکیده
The Lax-Richtmyer theorem is extended to work in the framework of Stetter's theory of discretizations. The new result applies to both initial and boundary value problems discretized by finite elements, finite differences, etc. Several examples are given, together with a comparison with other available equivalence theorems. The proof relies on a generalized Banach-Steinhaus theorem.
منابع مشابه
Myhill-Nerode Fuzzy Congruences Corresponding to a General Fuzzy Automata
Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملUnified Error Analysis of Finite Element Method, Finite Difference Method, and Finite Volume Methods
1. Lax equivalence theorem 1 2. Abstract error analysis 2 3. Application: Finite difference method 3 4. Application: Finite element method 4 5. Application: Conforming Discretization of Variational Problems 5 6. Application: Perturbed Discretization 6 7. Application: Nonconforming finite element methods 7 8. Application: Finite volume method 7 9. Application: Superconvergence of linear finite e...
متن کاملEquivalency and Non-equivalency of Lexical Items in English Translations of Nahj al-balagha
Lexical items play a key role in both language in general and translation in particular. Likewise, equivalence is a controversial concept discussed so widely in translation studies. Some theorists deem it to be fundamental in translation theory and define translation in terms of equivalence. The aim of this study is to identify the problems of lexical gaps in two translations of Nahj al-ba...
متن کاملUnified Error Analysis
1. Lax Equivalence Theorem 1 2. Abstract error analysis 2 3. Application: Finite Difference Method 3 4. Application: Finite Element Method 4 5. Application: Conforming Discretization of Variational Problems 5 6. Application: Perturbed Discretization 6 7. Application: Nonconforming Finite Element Methods 8 8. Application: Finite Volume Method 8 9. Application: Superconvergence of linear finite e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010